Majorant de \(A\subset(E,\leqslant)\)
Ensemble ordonné
Elément \(x\in E\) qui vérifie : $$\forall a\in A,\quad a\leqslant x$$
- on définit de la même manière le minorant de \(A\)
- la borne supérieure de \(A\) est le plus petit de ses majorants
- on définit de la même manière la borne inférieure
